A theory of contracts for web services

<p>Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a service with another service. The use of contracts statically ensures the successful completion of every possible interaction between compatible clients and services.</p> <p>The technical device that underlies the theory is the definition of filters, which are explicit coercions that prevent some possible behaviours of services and, in doing so, they make services compatible with different usage scenarios. We show that filters can be seen as proofs of a sound and complete subcontracting deduction system which simultaneously refines and extends Hennessy's classical axiomatisation of the must testing preorder. The relation is decidable and the decision algorithm is obtained via a cut-elimination process that proves the coherence of subcontracting as a logical system.</p> <p>Despite the richness of the technical development, the resulting approach is based on simple ideas and basic intuitions. Remarkably, its application is mostly independent of the language used to program the services or the clients. We also outline the possible practical impact of such a work and the perspectives of future research it opens.</p&gt

BeppoSAX Observations of 1-Jy BL Lacertae Objects - II

We present new BeppoSAX LECS and MECS observations, covering the energy range 0.1 - 10 keV (observer's frame), of four BL Lacertae objects selected from the 1 Jy sample. All sources display a flat (alpha_x ~ 0.7) X-ray spectrum, which we interpret as inverse Compton emission. One object shows evidence for a low-energy steepening (Delta alpha_x ~ 0.9) which is likely due to the synchrotron component merging into the inverse Compton one around ~ 2 keV. A variable synchrotron tail would explain why the ROSAT spectra of our sources are typically steeper than the BeppoSAX ones (Delta alpha_x} ~ 0.7). The broad-band spectral energy distributions fully confirm this picture and model fits using a synchrotron inverse Compton model allow us to derive the physical parameters (intrinsic power, magnetic field, etc.) of our sources. By combining the results of this paper with those previously obtained on other sources we present a detailed study of the BeppoSAX properties of a well-defined sub-sample of 14 X-ray bright (f_x (0.1 - 10 keV) > 3 x 10^{-12} erg/cm^2/s) 1-Jy BL Lacs. We find a very tight proportionality between nearly simultaneous radio and X-ray powers for the 1-Jy sources in which the X-ray band is dominated by inverse Compton emission, which points to a strong link between X-ray and radio emission components in these objects.Comment: 13 pages, 6 figures. Accepted for publication in MNRAS. Postscript file also available at http://www.stsci.edu/~padovani/xrayspectra_papers.htm

Mosaico de imagens de satélite do Pantanal no ano 2000.

O Pantanal devido a sua extensão e dificuldade de acesso representa um desafio para o desenvolvimento de atividades de produção e conservação da natureza. Nesse sentido as tecnologias de Sensoriamento Remoto podem contribuir muito para o conhecimento e manejo desse ecossistema. O presente trabalho apresenta o mosaico de imagens Landsat 7 ETM do ano 2000 do Pantanal, onde ao contrário dos demais produtos dessa natureza, apresenta uma maior precisão de posicionamento em função de um extenso trabalho de campo realizado para o georreferenciamento das imagens. Esse trabalho é o resultado da parceria entre a Embrapa Pantanal e a WWF Brasil e está disponível também na homepage da Embrapa Pantanal. Esperamos com essa iniciativa estar cumprindo com nosso objetivo de levar à comunidade informações sobre o Pantanal.bitstream/item/81191/1/DOC43.pd

Protonated CO2 in massive star-forming clumps

Interstellar CO2 is an important reservoir of carbon and oxygen, and one of the major constituents of the icy mantles of dust grains, but it is not observable directly in the cold gas because has no permanent dipole moment. Its protonated form, HOCO+, is believed to be a good proxy for gaseous CO2. However, it has been detected in only a few star-forming regions so far, so that its interstellar chemistry is not well understood. We present new detections of HOCO+ lines in 11 high-mass star-forming clumps. Our observations increase by more than three times the number of detections in star-forming regions so far. We have derived beam-averaged abundances relative to H2 in between 0.3 and 3.8 x 10^{-11}. We have compared these values with the abundances of H13CO+, a possible gas-phase precursor of HOCO+, and CH3OH, a product of surface chemistry. We have found a positive correlation with H13CO+, while with CH3OH there is no correlation. We suggest that the gas-phase formation route starting from HCO+ plays an important role in the formation of HOCO+, perhaps more relevant than protonation of CO2 (upon evaporation of this latter from icy dust mantles).Comment: 5 pages, 4 figures, 1 table, accepted for publication in MNRA

VLA Observations of a New Population of Blazars

We present the first deep VLA radio images of flat-spectrum radio quasars (FSRQ) with multiwavelength emission properties similar to those of BL Lacs with synchrotron X-rays. Our observations of twenty-five of these sources show that their radio morphologies are similar to those of other radio quasars. However, their range of extended powers is more similar to that of BL Lacertae objects (BL Lacs) and extends down to the low values typical of FR I radio galaxies. Five out of our nine lobe-dominated sources have extended radio powers in the range typical of both FR I and FR II radio galaxies, but their extended radio structure is clearly FR II-like. Therefore, we have not yet found a large population of radio quasars hosted by FR Is. Two thirds of our sources have a core-dominated radio morpholgy and thus X-rays likely dominated by the jet. We find that their ratios of radio core to total X-ray luminosity are low and in the regime indicative of synchrotron X-rays. This result shows that also blazars with strong emission lines can produce jets of high-energy synchrotron emission and undermines at least in part the ``blazar sequence'' scenario which advocates that particle Compton cooling by an external radiation field governs the frequency of the synchrotron emission peak.Comment: 26 pages, 33 figures. Accepted for publication in Ap

Radio Luminosities and Classificatory Criteria of BL Lacertae Objects

Using the sample of radio selected BL Lacertae objects (RBLs) and X-ray selected BL Lacertae objects (XBLs) presented by Sambruna et al. (1996), we calculated the luminosities of radio, optical and X-ray of each source and made the statistical analysis among the luminosities at different wave-bands, broad-band spectral indices from radio to X-ray ($\alpha_{\rm rx}$) and peak frequencies ($\nu_p$). Our results are as follows: (i) there is a positive correlation between radio luminosity $L_{\rm r}$ and $\alpha_{\rm rx}$ and a negative correlation between $L_{\rm r}$ and $\nu_p$. High-energy peak BL Lacs (HBLs) and low-energy peak BL Lacs (LBLs) can be distinguished very well, the dividing lines are probably those of $\log {L_{\rm r}}=43.25$ (erg/sec) and $\alpha_{\rm rx}>$(or $\leq$)0.75 for $L_{\rm r}$ - $\alpha_{\rm rx}$ plot and those of $\log {L_{\rm r}}\leq 43.25$ (erg/sec) and $\log {\nu_p}>14.7$ for the $L_{\rm r}$ - $\nu_p$ plot; (ii) there is a weak positive correlation between optical luminosity $L_o$ and $\alpha_{\rm rx}$ and a negatively weak correlation between $L_{\rm o}$ and $\nu_p$; (iii) there is no correlation between X-ray luminosity $L_X$ and $\alpha_{\rm rx}$ or between $L_X$ and $\nu_p$. From our analysis, we find that synchrotron radiation is the main X-ray radiation mechanism for HBLs while inverse Compton scattering for LBLs.Comment: 9 pages, 3 figures. Submitted to A&

How many radio-loud quasars can be detected by the Gamma-Ray Large Area Space Telescope?

In the unification scheme, radio quasars and FR II radio galaxies come from the same parent population, but viewed at different angles. Based on the Comptonization models for the gamma-ray emission from active galactic nuclei (AGNs), we estimate the number of radio quasars and FR II radio galaxies to be detected by the Gamma-Ray Large Area Space Telescope (GLAST) using the luminosity function (LF) of their parent population derived from the flat-spectrum radio quasar (FSRQ) LF. We find that ~1200 radio quasars will be detected by GLAST, if the soft seed photons for Comptonization come from the regions outside the jets. We also consider the synchrotron self-Comptonization (SSC) model, and find it unlikely to be responsible for gamma-ray emission from radio quasars. We find that no FR II radio galaxies will be detected by GLAST. Our results show that most radio AGNs to be detected by GLAST will be FSRQs (~99 % for the external Comptonization model, EC model), while the remainder (~1 %) will be steep-spectrum radio quasars (SSRQs). This implies that FSRQs will still be good candidates for identifying gamma-ray AGNs even for the GLAST sources. The contribution of all radio quasars and FR II radio galaxies to the extragalactic gamma-ray background (EGRB) is calculated, which accounts for ~30 % of the EGRB.Comment: 4 pages, accepted by ApJ Letter

Resolving Non-Determinism in Choreographies

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation